|
In den letzten Jahren gewannen Mobile Agenten, als relativ neuer
Ansatz im Bereich der Verteilten Systeme, an Beachtung. Mobile
Agenten sind autonome mobile Objekte die bestimmte Aufgaben
erfüllen. Viele Aufgabengebiete, in denen Mobile Agenten eingesetzt
werden können, fordern von einem Agentensystem ein hohes Maß an
Fehlertoleranz.
Mobile Agenten können im Bereich Electronic Commerce z.B. dazu
eingesetzt werden, Buchungen zu tätigen oder Waren einzukaufen.
Werden keine besonderen Vorkehrungen zur Erhöhung der
Fehlertoleranz des Agentensystems getroffen, so kann z.B. ein Agent,
der mit dem Auftrag einen Flug zu buchen losgeschickt wird, durch
einen Knoten- oder Netzwerkausfall einfach verloren gehen. Oder es
kann der aus der Sicht des Anwenders vermutlich schlimmere Fall
eintreten, daß der Flug doppelt gebucht wird.
In der Abteilung Verteilte Systeme wurden zwei Protokolle, die ein
solches Verhalten ausschließen, entwickelt. Ein Prototyp des
umfangreicheren Protokolls, im weiteren Exactly- Once-Protokoll
genannt, wurde in dieser Arbeit implementiert. Zum Einsatz kamen
hierbei hauptsächlich Java/C++ als Programmiersprachen und
CORBA-OTS als Transaktionssystem. Mit Hilfe von Messungen wurden
dann Leistungsvergleiche zwischen dem Exactly-Once-Protokoll und
einem einfachen Protokoll gemacht.
Im zweiten Teil der Arbeit wurde die Fehlertoleranz der beiden
Protokolle anhand mathematischer Modelle näher untersucht;
insbesondere, wie sich die verschiedenen Protokolle auf die
Verfügbarkeit des Systems, und die Verweildauer eines Agenten in
einer Stufe auswirkt. Hierzu wurden Markov-Modelle zur Beschreibung
des Ausfallverhaltens einzelner Knoten, sowie Modelle des
Gesamtsystems, das für die Ausführung des Protokolls zuständig
ist, erstellt. Aus diesen Modellen wurden dann mit Hilfe
wahrscheinlichkeitstheoretischer Methoden die gewünschten
Kenngrößen ermittelt.
|